code for list in prolog